5 +3 (5 <= 8) 9